Tutorial on Supervisory Control ∗
نویسنده
چکیده
This paper provides an overview of the results available on supervisory control in an adaptive context, with special emphasis on estimator-based supervisory architectures. We cover both the linear and nonlinear cases in a unified manner, highlighting the common properties and analysis techniques. The style of the paper is tutorial and provides the reader with enough detail to apply these techniques to general classes of linear and nonlinear systems.
منابع مشابه
Supervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction Interdisciplinary Studies of Intelligent Systems Supervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction
This paper provides an overview of a computationally eecient method for synthesizing supervisory controllers for discrete event systems (DES). The DES plant and controller are described by Petri nets which provide a useful linear algebraic model for both control analysis and synthesis. It is shown how a set of linear constraints on the plant's behavior can be enforced, accounting for possibly u...
متن کاملSAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such a way that the formula evaluates to true, is one of the classic problems in computer science. It is of theoretical interest because it is the canonical NP-complete problem. It is of practical interest because modern SAT-solvers can be used to solve many important and practica...
متن کاملOn the complexity of supervisory control design in the RW framework
The time complexity of supervisory control design for a general class of problems is studied. It is shown to be very unlikely that a polynomial-time algorithm can be found when either (1) the plant is composed of m components running concurrently or (2) the set of legal behaviors is given by the intersection of n legal specifications. That is to say, in general, there is no way to avoid constru...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملA Tutorial Introduction to Supervisory Hybrid Systems
Supervisory hybrid systems are systems generating a mixture of continuous-valued and discrete-valued signals. These systems provide convenient models for a wide range of complex engineering applications ranging from small real-time embedded systems to large-scale traffic control and manufacturing facilities. In recent years there has been considerable interest in using hybrid systems theory to ...
متن کامل